The adversary Eve is given oracle access ${\text{Enc}}_k$ and can query it with $q$ messages $m_1,m_2,...,m_q$ in order to obtain their ciphertexts $c_1,c_2,...,c_q$. Her goal is to produce a new valid ciphertext $c\notin \{c_1,c_2,...,c_q\}$, i.e. a ciphertext such that ${\text{Dec}}_k(c)\ne \text{error}$.

A cipher $({\text{Enc}}_k,{\text{Dec}}_k)$ provides ciphertext integrity (CI), if for all keys $k\in \mathcal{K}$, the probability that Mallory achieves her goal is negligible, i.e.

$$\underset{k{\leftarrow }_R\mathcal{K}}{\mathrm{Pr}}[{\text{Dec}}_k(\text{Eve}())\ne \text{error}]\le \text{negl(n)}$$